منابع مشابه
State Coverage: Software validation metrics beyond Code Coverage - Extended Version
Currently, testing is still the most important approach to reduce the amount of software defects. Software quality metrics help to prioritize where additional testing is necessary by measuring the quality of the code. Most approaches to estimate whether some unit of code is sufficiently tested are based on code coverage, which measures what code fragments are exercised by the test suite. Unfort...
متن کاملExperimental Evaluation of Verification and Validation Tools on Martian Rover Software -Extended Abstract-
ion is typically a very important technique required for the success of model checking, since it combats the state-explosion problem inherent to the analysis of complex software systems. We therefore provided a framework in which the participants could add abstractions in a non-intrusive fashion to the code. Besides the infrastructure for adding abstractions we also gave the participants the so...
متن کاملAutomatic software validation process
This article presents the Automatic Software Validation tool (ASV), which is deployed in one of the Polish software companies. This system helps to automatically test web applications, create its simulations, which are helpful during end-user training, and then test those simulations. The tool was invented to speed the process of testing one of the company’s applications working in more than 12...
متن کاملSoftware Metrics Validation Methodologies in Software Engineering
In the software measurement validations, assessing the validation of software metrics in software engineering is a very difficult task due to lack of theoretical methodology and empirical methodology [41, 44, 45]. During recent years, there have been a number of researchers addressing the issue of validating software metrics. At present, software metrics are validated theoretically using proper...
متن کاملTiming Validation of Automotive Software
Embedded hard real-time systems need reliable guarantees for the satisfaction of their timing constraints. During the last years sophisticated analysis tools for timing analysis at the code-level, controllerlevel and networked system-level have been developed. This trend is exemplified by two tools: AbsInt’s timing analyzer aiT, and and Symtavision’s SymTA/S. aiT determines safe upper bounds fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Crystallography
سال: 2008
ISSN: 0021-8898
DOI: 10.1107/s002188980801385x